$\forall$$a$:$\mathbb{Q}$, $n$:$\mathbb{N}$. ((1 + {-}($a$)) $\ast$ $\Sigma$0 $\leq$ $i$ $<$ $n$. $a$ $\uparrow$ $i$) = (1 + {-}($a$ $\uparrow$ $n$)) $\in$ $\mathbb{Q}$